Inheritance Anomaly -a Formal Treatment
نویسندگان
چکیده
Inheritance is one of the key concepts in object-oriented programming (OOP). However, the usefulness of inheritance in concurrent OOP is greatly reduced by the inheritance anomalies. These anomalies have been subjected to intense research, but they are still only vaguely de ned and often misunderstood. In this paper we show that concurrency is not the real cause of inheritance anomalies. We formally de ne the inheritance anomaly as a relationship between inheritance mechanisms and behavioural hierarchies. Our framework can be used to analyse the occurrence of inheritance anomalies in many di erent paradigms. A formal de nition of the problem and a clear exposition of its causes are pre-requisites for a successful integration of inheritance and concurrency.
منابع مشابه
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced by the problem of inheritance anomaly. Inheritance anomaly is manifested by undesirable re-definitions of inherited code. The problem is aggravated by the lack of a formal analysis, with a multitude of differing proposals and c...
متن کاملA Formal Model for Rule Inheritance and Overriding in Active Object-Oriented Databases
The concept of inheritance is among the most important features of object-oriented databases (OODBs). However, no general treatment of rule inheritance and overriding has been undertaken for active OODBs. Such treatment is conspicuously missing for rules that are defined over multiple classes, even though most active OODBs support the definition of such rules. In this paper, we fill this gap by...
متن کاملAn eighteen month-old infant with Cornelia de Lange syndrome: a case report
Cornelia de Lange syndrome (CdLS) is an uncommon multiple congenital anomaly with unknown cause and recurrent risk and may be the result of an inheritance metabolic error. In classical form of the syndrome there is a recognizable facial appearance at birth although in children with mild disease this may be less obvious at birth but become more noticeable over the first three years of life. In t...
متن کاملEnlarged parietal foramina presenting as scalp swelling in an infant.
"Enlarged parietal foramina" is a congenital malformation with autosomal dominant inheritance. The condition is usually self-limiting and doesn't require any treatment. However, it may also be associated with encephalocele, vascular anomalies or may be a part of syndrome. We present a case of enlarged parietal foramina in a child and discuss its imaging findings and the associated intracranial ...
متن کاملInheritance Anomaly
Inheritance anomaly is a well known problem in concurrent object-oriented programming. Much work has been done in this area recently, but the problem is far from solved. In this paper we propose a simple language construct that solves the inheritance anomaly. Our proposal involves the use of preconditions and post-actions in which synchronization constraints of objects are speciied. Preconditio...
متن کامل